RESCUE

REliable and Safe Code execUtion for Embedded systems

Cancel

Search: ^r

Research/Rescue Web	Changed	Changed by

RescueDescription	17 Jan 2008 - 21:26 - r3	SimaoMeloDeSousa
#ProjectSummary Project Summary This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code ...

RescueJobs	15 Oct 2009 - 23:04 - r7	NelmaMoreira?
Currently active RESCUE related research opportunities (at the undergraduate and post graduate levels) are announced here. PhD Opportunities Domain specific ...

RescueKickOff	17 Jan 2008 - 21:11 - r4	SimaoMeloDeSousa
RESCUE kick off meeting (25/01/2008) Where: DI@UBI Covilhã When: Friday, January 25th, 2008 Preliminary Program: 10h45 Opening Session 11h00 ...

RescueNews	16 Jan 2008 - 01:11 - NEW	JoseBacelarAlmeida
Jan.2008 Kick off meeting (25/01/2008)

RescuePartners	25 Jun 2008 - 18:41 - r4	JoseBacelarAlmeida
FCUP/LIACC (principal contractor) http://www.isep.ipp.pt ISEP/ http://www.hurray.isep.ipp.pt/ http://cctc.uminho.pt http://www.di.ubi.pt ...

RescuePublications	26 Jul 2011 - 16:49 - r7	SimaoMeloDeSousa
Books José Carlos Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification ...

RescueTeam	22 Jul 2011 - 09:26 - r6	SimaoSousa
Universidade da Beira Interior Diogo Filipe Gomes Fialho Joel Silva Carvalho Nuno Miguel Pires Gaspar Simão Patrício Melo de Sousa (PI) Faculdade ...

Found 7 topics.

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM